//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================
//==========================================================================
//devices man (kernel)
//==========================================================================
#include <ddk.h>
#include <board.h>
#include <kdevices.h>

tBoard * _global_pBoard;

ECode _GetDevices(/*OUT*/tDevices **ppDevices)
{
    return NOERROR;
}
